Process calculus - PDFSEARCH.IO - Document Search Engine

Process calculus
Results: 249

#	Item
201	The Algebra of Connectors – Structuring Interaction in BIP Simon Bliudze, Joseph Sifakis VERIMAG, Centre Équation Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Mathematics Quaternions Group theory Process calculus Quasigroup
202	Form Methods Syst Des[removed]: 167–194 DOI[removed]s10703[removed]z Causal semantics for the algebra of connectors Simon Bliudze · Joseph Sifakis Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:32 Boolean algebra Mathematics Structure Process calculus Interaction D-subminiature
203	Composition for Component-Based Modeling Gregor G¨ossler a , Joseph Sifakis b a INRIA Rhˆ one-Alpes, France Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:32 Cybernetics Systems theory Data Information Component-based software engineering System Process calculus Communications protocol Modeling language Software engineering Object-oriented programming Software architecture
204	Composition for Component-Based Modeling? Gregor G¨ossler1 and Joseph Sifakis2 1 1 Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:37 Data Process calculus System Component-based software engineering Communications protocol Modeling language Parallel computing Software engineering Object-oriented programming Computing
205	The measurement process in domain theory Keye Martin Department of Mathematics, Tulane University, New Orleans, LA 70118, USA Fax[removed]removed] http://www.math.tulane.edu/˜martin Add to Reading List Source URL: www.nearmidnight.com Language: English - Date: 2012-12-25 23:14:56 Order theory Calculus Continuous function Complete partial order Domain theory Metric space Galois connection Pointwise Mathematics Mathematical analysis Structure
206	Nomadic Pict: Programming Languages, Communication Infrastructure Overlays, and Semantics for Mobile Computation PETER SEWELL Computer Laboratory, University of Cambridge and Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2010-02-03 14:17:39 Applied mathematics Mathematics Π-calculus Deduction Concurrent computing Process calculus Models of computation Actor model Lambda calculus Process calculi Logic Theoretical computer science
207	Topics in Concurrency Lecture Notes Glynn Winskel c 2001[removed]Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-04-09 12:07:48 Theoretical computer science Process calculi Models of computation Logic in computer science Concurrency Π-calculus Petri net Model checking Function Mathematics Applied mathematics Logic
208	NEW-HOPLA a higher-order process language with name generation Glynn Winskel Computer Laboratory, University of Cambridge, UK Francesco Zappa Nardelli Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-05-06 09:33:37 Symbol Lambda calculus Proof theory Curry–Howard correspondence Valuation Mathematics Mathematical logic Applied mathematics
209	Exploring Variation in Biochemical Pathways with the Continuous pi-Calculus Ian Stark Marek Kwiatkowski Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-06-14 12:27:08 Process calculus Π-calculus Fourier analysis
210	Events in Security Protocols Federico Crazzolara ∗ Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-01-15 10:14:41 Functions and mappings Applied mathematics Concurrency Diagrams Petri net Computer science Function Π-calculus Mathematics Models of computation Process calculi